Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve Options.collect* performance #216

Merged
merged 1 commit into from
Aug 31, 2016
Merged

Improve Options.collect* performance #216

merged 1 commit into from
Aug 31, 2016

Conversation

debois
Copy link
Owner

@debois debois commented Aug 30, 2016

No description provided.

@vipentti
Copy link
Collaborator

Looks good! As far as I'm concerned this can be merged.

@debois
Copy link
Owner Author

debois commented Aug 31, 2016

Thanks—could you do it? I want to be all principled and not do it myself :)

@vipentti vipentti merged commit 1fba335 into v7 Aug 31, 2016
@debois
Copy link
Owner Author

debois commented Aug 31, 2016

:)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants